Sfoglia per Rivista ZEITSCHRIFT FÜR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK
On a definition of 1st-order translations of the theory of geometric closure structures.
1982-01-01 Pasini, Antonio
On the Unadequacy of the relational semantic for the "Until" operator.
1992-01-01 Bellissima, Fabio; Ciupi, A.
Reducibility in some categories of partial recursive operators
1992-01-01 Sorbi, Andrea
Some Quotient Lattices of the Medvedev Lattice
1991-01-01 Sorbi, A.
Titolo | Data di pubblicazione | Autore(i) | File | Abstract |
---|---|---|---|---|
On a definition of 1st-order translations of the theory of geometric closure structures. | 1-gen-1982 | Pasini, Antonio | - | |
On the Unadequacy of the relational semantic for the "Until" operator. | 1-gen-1992 | Bellissima, Fabio; Ciupi, A. | - | |
Reducibility in some categories of partial recursive operators | 1-gen-1992 | Sorbi, Andrea | - | |
Some Quotient Lattices of the Medvedev Lattice | 1-gen-1991 | Sorbi, A. | - |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile